COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	The content of this paper divides into    parts.
C00004 ENDMK
C⊗;
The content of this paper divides into    parts.

1. A proposal for ``organizational semantics'' of programs that deal with 
inconsistent beliefs and conflicting proposals for action. Some desiderata are
mentioned, but no definite proposals are made. In fact, the phrase 
``organizational semantics'' occurs only in the abstract and the introduction.

2. An assertion that the use of logicin AI is limited to ``microtheories,''
because logic cannot deal with the contracdictory microtheories that powerful
AI systems need to use. It is asserted that non-monotonic logic is covered
by the same remarks. This is mistaken, because cicumscription purport to deal
with this problem by weakening the theories enough to restore consistency and 
then getting conclusions as strong as possible by minimizing something, e.g.
abnormality. 

Hewitt's Diablo Canyon example might be handled by axioms

$\neg stupid-fanatics(Ablone-Alliance) \supset <theory1>$

where 

$<theory> \vdash \neg safe (Diablo-Canyon) (Governor-Dukakis) \supset
<theory1> \neg political-appointment (Governor Dukakis)$

\end